121. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
![](/design/images/bookmore.png)
122. Infinity and the mind: the science and philosophy of the infinite
پدیدآورنده : / by Rucker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Logic,symbolic and mathematical,Set theory,Infinite
رده :
511
.
3
R911i
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
123. Infinity and the mind : the science and philosophy of the infinite
پدیدآورنده : Rucker, Rudy v. B.)Rudy von Bitter(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Infinite
رده :
QA
9
.
R79
1982b
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
124. Introduction aux mathematiques de l,analyse economique
پدیدآورنده : / Rene Passet
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Set theory,Logic, Symbolic and mathematical,Abelian groups
رده :
QA248
.
M513
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
125. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
126. Introduction to mathematical logic
پدیدآورنده : Jerome Malitz
موضوع : Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
127. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
128. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
129. Introduction to mathematical logic: Set theory computable functions model theory
پدیدآورنده : Jerome Malitz
موضوع : Logic, symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
130. Introduction to mathematical logic: set theory, computable funtions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M26
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
131. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
132. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
133. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده : Rodgers, Nancy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
134. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
135. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
136. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
137. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
138. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
W3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
139. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Par Hao Wang et Naughton Robert
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Set theory,Logic, Symbolic and mathematical
![](/design/images/bookmore.png)
140. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)